A previous article, published in GREGORIANUM 2000, pp. 249ff, has treated Zubiri's concept of the Eucharist. The present article proposes to expose, by way of complement, the reflections of the same author on the general concept of the sacrements. For sure, these reflections are those of a philosopher on a theological theme. Under one aspect, this may indicate a limitation. Yet, the author of the article thinks that, starting from his philosophical presuppositions, Zubiri contributes a notable enrichment for the theology (...) of the sacraments. Zubiri centres his attention on the actuality of the death and resurrection of Christ in the celebration of the sacrements, deepening some concrete points such as the christological dimension, the nature of «efficacy» and the concept of grace. The author thinks that with his reflections on the sacraments in general Zubiri offers fundamental and valid elements for an adequate renewal of the theology of the sacraments. (shrink)

Rationale, aims and objectives Given the increasing prevalence of cataract and demand for cataract extraction surgery, patients must often wait to undergo this procedure. We validated a previously developed priority scoring system in terms of clinical variables, pre-intervention health status, appropriateness of surgery and gain in visual acuity (VA) and health-related quality of life (HRQoL).Methods Explicit prioritization criteria for cataract extraction created by a variation of the Research and Development (RAND) and University of California Los Angeles appropriateness methodology were retrospectively (...) applied to a prospective cohort of 5257 patients on waiting lists to undergo cataract by phacoemulsification at 17 hospitals in Spain. Demographic data, clinical data and data related to surgical technique were collected by trained ophthalmologists. Patients were evaluated by their ophthalmologist before the intervention and 6 weeks afterward. They also completed, by mail, the Visual Function Index (VF-14) before the intervention and 3 months afterward.Results High-priority patients experienced greater improvement in VA and HRQoL than those classified as intermediate or low-priority (P < 0.0001), even after adjusting by VA and the VF-14 score at baseline. The time to intervention was the same for high-priority patients as it was for intermediate and low-priority patients.Conclusions The priority score we developed identified patients most likely to experience the greatest improvements from cataract extraction. Use of this tool could provide a fairer and more rational way to prioritize patients for cataract extraction. (shrink)

The aim of this paper is to define the logical system Sm4 characterised by the degree of truth-preserving consequence relation defined on the ordered set of values of Smiley’s four-element matrix MSm4. The matrix MSm4 has been of considerable importance in the development of relevant logics and it is at the origin of bilattice logics. It will be shown that Sm4 is a most interesting paraconsistent logic which encloses a sound theory of logical necessity similar to that of Anderson and (...) Belnap’s logic of entailment E. Intuitively, Sm4 can be described as a four-valued expansion of the positive fragment of Lewis’ S5 or, alternatively, as a four-valued version of S5. (shrink)

The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency.

The aim of this paper is to provide a Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation” Π ′ and Π ′′ . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Π ′ and Π ′′ are proved. A brief discussion on Π ′ , Π ′′ and paraconsistency is included.

A prepositional logic S has the Converse Ackermann Property (CAP) if (AB)C is unprovable in S when C does not contain . In A Routley-Meyer semantics for Converse Ackermann Property (Journal of Philosophical Logic, 16 (1987), pp. 65–76) I showed how to derive positive logical systems with the CAP. There I conjectured that each of these positive systems were compatible with a so-called semiclassical negation. In the present paper I prove that this conjecture was right. Relational Routley-Meyer type semantics are (...) provided for each one of the resulting systems (the positive systems plus the semiclassical negation). (shrink)

We provide all possible axiomatizations with independent axioms of E→ and R→ formulable with Anderson and Belnap’s list.

In his paper “Recent work in relevant logic”, Jago includes a section on Disjunctive Syllogism . The content of the section essentially consists of (a) a valuation of some work by Robles and Méndez on the topic as “not particularly interesting in itself”; (b) a statement establishing that “What would be interesting is to discover just how weak a relevant logic needs to be before disjunctive syllogism becomes inadmissible”. The main problem with this section of Jago’s paper on DS is (...) that the author is unaware of the recent important results on the topic. I show that (1) the valuation in (a) is groundless and (2) the ill-formulated problem in (b) is solved in the recent literature on relevant logics. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

The logic B+ is Routley and Meyer's basic positive logic. We show how to introduce a minimal intuitionistic negation and an intuitionistic negation in B+. The two types of negation are introduced in a wide spectrum of relevance logics built up from B+. It is proved that although all these logics have the characteristic paradoxes of consistency, they lack the K rule (and so, the K axioms).

In this paper, consistency is understood as absolute consistency (i.e. non-triviality). The basic constructive logic BKc6, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc6 up to contractionless intuitionistic logic. All logics defined in this paper are paraconsistent logics.

For this issue of JBE, Zyphur and Pierides :1–16, 2017) have written a paper on a concept that they have labeled relational validity. The purpose of the paper and of their advocacy for the concept of relational validity is to improve the way that quantitative research is done by expanding our understanding of its ethics-laden aspects. I agree entirely with the authors that every decision regarding QR is an ethics-laden one and that our research as a whole would be improved (...) by recognition of this fact. I disagree with the authors regarding some of the ways that this improvement might be brought about. (shrink)

Suppose that we are interested in the average causal effect of a binary treatment on an outcome when this relationship is confounded by a binary confounder. Suppose that the confounder is unobserved but a nondifferential proxy of it is observed. We show that, under certain monotonicity assumption that is empirically verifiable, adjusting for the proxy produces a measure of the effect that is between the unadjusted and the true measures.

Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) formalizations of arithmetic. In Peano's formalization the domain is a restricted class of individuals, while the universe of discourse is the unrestricted class of all individuals. In Gödel's formalization the domain is a restricted class of individuals as in Peano's formalization, but the universe of discourse coincides with the domain. In Whitehead-Russell's formalization the domain is a class of logical notions in Tarski's sense, that are necessarily not individuals, whereas the universe of discourse is the unrestricted class of individuals as in Peano's formalization. The present approach emphasizes the viewpoint that the universe of discourse of a given discourse is important in determining which propositions are expressed by which sentences. (shrink)

Tarski's 1936 paper, “On the concept of logical consequence”, is a rather philosophical, non-technical paper that leaves room for conflicting interpretations. My purpose is to review some important issues that explicitly or implicitly constitute its themes. My discussion contains four sections: terminological and conceptual preliminaries, Tarski's definition of the concept of logical consequence, Tarski's discussion of omega-incomplete theories, and concluding remarks concerning the kind of conception that Tarski's definition was intended to explicate. The third section involves subsidiary issues, such as (...) Tarski's discussion concerning the distinction between material and formal consequence and the important question ofthe criterion for distinguishing between logical and non-logical terms.§1. Preliminaries. In this paper an argument is a two-part system composed of a set of propositions P and a single proposition c. The expression ‘c is a [logical] consequence of P’ is used with the same meaning as the expression ‘c is [logically] implied by P’. The expressions ‘is a logical consequence of’ and the converse ‘implies’ are relational. Often, I shall be talking in the same sense of validity of an argument. Validity is a property of arguments; an argument with premise-set P and conclusion c is valid if and only if P implies c; i.e., c is a logical consequence of P. Notice that this notion of argument is strictly ontic; it does not involve any agent that thinks, determines or establishes that a given proposition is or is not a consequence of a given set of propositions. (shrink)

Scholars have long debated whether leader's integrity affects managerial decision making with respect to social responsibility. In this paper, we propose a model in which transformational leadership mediates integrity and corporate social responsibility and examine the relationship between these concepts. A survey of 170 senior managers from 50 organizations was conducted. Results indicate that integrity is a predictor of transformational leadership behavior and that transformational leaders’ behaviors are linked to CSR practices. It was also found that leaders rated with higher (...) integrity are engaged in CSR because they exhibit more transformational leadership behaviors. These findings add to the extant literature by demonstrating that integrity is important as transformational leaders engage more actively on ‘responsible’ behaviors. Practical implications call for an understanding among corporate leaders of the benefits of integrity and how it relates to transformational leadership. Organizations can improve their selection and leadership development processes by focusing on these two dimensions. (shrink)

Volume 33, Issue 7, October 2020, Page 1045-1048.

An intervention may have an effect on units other than those to which it was administered. This phenomenon is called interference and it usually goes unmodeled. In this paper, we propose to combine Lauritzen-Wermuth-Frydenberg and Andersson-Madigan-Perlman chain graphs to create a new class of causal models that can represent both interference and non-interference relationships for Gaussian distributions. Specifically, we define the new class of models, introduce global and local and pairwise Markov properties for them, and prove their equivalence. We also (...) propose an algorithm for maximum likelihood parameter estimation for the new models, and report experimental results. Finally, we show how to compute the effects of interventions in the new models. (shrink)

The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On the other hand, PŁ4 (...) is a rich logic in which a number of connectives can be defined. It also has a simple bivalent semantics of the Belnap–Dunn type. (shrink)

Unlike most American novels on the Iraq wars, which tend to be either celebratory or redemptive, Iraqi-born Sinan Antoon’s The Corspe Washer bears witness to the traumatic effects of destitu...

Emotional intelligence (EI) stands at the nexus between intelligence and emotion disciplines, and we outline how EI research might be better integrated within both theoretical frameworks. From the former discipline, empirical research focused upon whether EI is an intelligence and what type of intelligence it constitutes. It is clear that ability-based tests of EI form a group factor of cognitive abilities that may be integrated into the Cattell–Horn–Carroll framework; less clear is the lower order factor structure of EI. From the (...) latter discipline, research linking EI with theoretical frameworks from emotion research remain relatively sparse. Emotion regulation and appraisal theory may be key to explain how EI may reflect different processes. We propose a research agenda to advance the EI study. (shrink)

Going from cognitive theory to neural data to ACT‐R models, the authors relate brain activity in a lexical ambiguity priming task to brain processes that resolve ambiguity in word meanings. These detailed data were tested and found compatible to the results of an ACT‐R computational model of reinforcement learning (RL). The model confirms and extends the behavioral findings to provide a RL account of individual differences in lexical ambiguity resolution.

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by (...) exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.

Łukasiewicz presented two different analyses of modal notions by means of many-valued logics: the linearly ordered systems Ł3,..., Open image in new window,..., \; the 4-valued logic Ł he defined in the last years of his career. Unfortunately, all these systems contain “Łukasiewicz type paradoxes”. On the other hand, Brady’s 4-valued logic BN4 is the basic 4-valued bilattice logic. The aim of this paper is to show that BN4 can be strengthened with modal operators following Łukasiewicz’s strategy for defining truth-functional (...) modal logics. The systems we define lack “Łukasiewicz type paradoxes”. Following Brady, we endow them with Belnap–Dunn type bivalent semantics. (shrink)

Suplemento a / Some Additions to: Jose M. Sevilla, "Bibliografía viquiana en español", Cuadernos sobre Vico, 1, 1991, pp. 179-196 ; ID., "Añadido a la bibliografía viquiana en español", Cuadernos sobre Vico, 3, 1993, pp. 199-205 ; ID., "Nuevo añadido a la Bibliografía Viquiana en español", Cuadernos sobre Vico, 5/6, 1995-1996, pp. 419-422 ; ID., "Tercer añadido a la Bibliografía Viquiana en español", Cuadernos sobre Vico, 7/8, 1997, pp. 451-455 . 307 nuevas entradas / 307 new entries nn. 500 - (...) 807. (shrink)

Suplemento a / Some Additions to: José M. Sevilla, "Bibliografía viquiana en español" entradas / entries 1-266; ID., "Añadido a la Bibliografía viquiana en español" , entradas / entries 267-364. Ahora 62 nuevas entradas / 62 new entries now: 365-426.

In this article, we propose a philosophical exploration on the main problems involved in two neurorights that concern autonomous action, namely free will and cognitive liberty, and sketch a possible solution to these problems by resourcing to a holistic interpretation of human actions. First, we expose the main conceptual and practical issues arising from the neuroright to “free will,” which are far from minor: the term itself is denied by some trends participating in the neurorights debate, the related concept of (...) ultimate control is also disputed, the understanding of free will depends on cultural context, and the exercise of being free to act in several domains may be covered by other regulations. Second, we analyze the historical origin of cognitive liberty, its current status, and its relation with free will. Third, we criticize the concept of decision in mainstream action theory and propose to conceive action as a unified process constituted by three explanatory, non-sequential dimensions: intention, decision, and action realization. Fourth, we discuss two possible cases involving neurotechnologies and suggest ways to interpret them according to a unified framework in which free will and cognitive liberty fall under a single neuroright to personal autonomy. Finally, we outline a recommendation to introduce freedom of thought and personal autonomy as complementary neurorights to protect both the internal and external dimensions of thought and action. (shrink)

En su anuncio del Evangelio dentro del horizonte helenístico, San Pablo encuentra los valores y aberraciones de la cultura pagana. Ante ellos, la fe exige una selección capaz de sacar las consecuencias prácticas de la búsqueda de la verdad y de Dios provocada por Dios. Lejos de caer en el eclecticismo, el apóstol ha encontrado en la “milicia cristocéntrica” el principio unificador y animador de su síntesis. Desde ella, plantea una teología cristocéntrica abierta a la humanitas christiana, en las claves (...) desarrolladas después por los teólogos de la Patrística. Trascendiendo las verdades de los filósofos y sin vararse en ellas, el creyente recibe como un don en Cristo el más alto nivel de la verdad: “Yo soy la VERDAD” (Jn 14,6). Él es la recapitulación de todo lo bueno y verdadero que han dicho los hombres. (shrink)

Ningún luriter debe leerse lejos de su propio Sitz im Leben. El de Parménides se sitúa en el sur de Italia a finales del siglo VI y principios del VII. Se trata de un entorno cultural rico en comunidades órficas y pitagóricas, en el que el antiguo orden mítico-feudal está siendo superado y el politeísmo de Homero es objeto de severas críticas. En consecuencia, el poema de Parménides está impregnado de un profundo ímpetu religioso, que se convierte en la piedra (...) angular de su correcta interpretación. Un análisis riguroso de los fragmentos 6 y 7, en los que se discute ampliamente la tercera vía, muestra, en primer lugar, que esos fragmentos constituyen una unidad autónoma dentro de la obra, que no puede relacionarse con ninguna otra de sus partes; y, en segundo lugar, que una interpretación convincente de esa tercera vía apoya la lectura teológica del poema, como sugiere W. Jaeger, y al mismo tiempo preserva la perfecta coherencia del pensamiento parmedineano frente a otras interpretaciones más recientes, empezando por Burnet y Reinhardt. (shrink)

A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in Łm4.

Texto de la conferencia pronunciada en Estrasburgo el 19 de Noviembre de 1991, donde replanteándose ciertos aspectos recientes de la fortuna de Vico en España se aboga por la necesidad de establecer una fecunda reflexión a la vez sobre Vico y sobre nuestra propia historia.Text of conference of 19 November 1991 , where reconsidering certain aspects of the chance of Vico in Spain, the need to encourage a fruitful reflection of Vico and our own history is advocated.

En un análisis de las relaciones de Vico con el cartesianismo, se plantea una perspectiva para la comprensión de su proyecto filosófico, enfocado a una dimensión práctica de la filosofía, a través de tres estrategias epistemológicas: dos de ellas en relación al criterio verum-factum y, una tercera, en relación con el principio verum-certum.Within the context defined by Vico’s relations with Cartesianim, a perspective oriented to the understanding of Vico’s philosophical project, casted on to a practical dimension of philosophy, is purported (...) as based on three main epistemological strategies: two of them related with the verum-factum criteron and a third one with the verum-certum principle. (shrink)

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...) designated elements. (shrink)